Simplification of OC expansions for logic function under fixed polarity based on K-map

• 基于K图的逻辑函数OC展开式在固定极性下的化简